writable_pl1e in shadow mode is a machine address, so
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 30 Nov 2005 10:36:57 +0000 (11:36 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 30 Nov 2005 10:36:57 +0000 (11:36 +0100)
is type physaddr_t, not unsigned long.

Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/include/asm-x86/shadow.h

index eb0dd78a8a924d501318fe85b238c0619b08b6e1..fa1488cc0686880e4b30216dfc00133c7361e6df 100644 (file)
@@ -317,7 +317,7 @@ struct out_of_sync_entry {
     unsigned long gpfn;    /* why is this here? */
     unsigned long gmfn;
     unsigned long snapshot_mfn;
-    unsigned long writable_pl1e; /* NB: this is a machine address */
+    physaddr_t writable_pl1e; /* NB: this is a machine address */
     unsigned long va;
 };